

Checking transition consistency

msc diagram: all diagrams
CONSISTENCY